ative Pro esses : An Elementary TutorialS
ثبت نشده
چکیده
منابع مشابه
Numeri al Analysis of Queues with Bat h Arrivals
The steady state distribution of quasi-birth-death pro esses an be eÆ iently obtained by matrix-geometri (MG) methods. Sin e a number of tele ommuni ation problems are modelled by pro esses with bat h arrivals, the extension of MG methods for these pro esses has pra ti al importan e. This paper presents an extension of MG methods whi h is e e tive for the analysis of quasi-birth-death pro esses...
متن کاملAnalysis of Queues with Bat h Arrivals
The steady state distribution of quasi-birth-death pro esses an be eÆ iently obtained by matrix-geometri (MG) methods. Sin e a number of tele ommuni ation problems are modelled by pro esses with bat h arrivals, the extension of MG methods for these pro esses has pra ti al importan e. This paper presents an extension of MG methods whi h is e e tive for the analysis of quasi-birth-death pro esses...
متن کاملThe Regular Viewpoint on PA - Pro esses
To appear in Theoretical Computer Science The Regular Viewpoint on PA-Pro esses D. Lugiez Lab. d'Informatique de Marseille, Univ. Aix-Marseille & CNRS URA 1787, 39, r. Joliot-Curie, 13453 Marseille Cedex 13, FRANCE and Ph. S hnoebelen Lab. Spe i ation and Veri ation, ENS de Ca han & CNRS UMR 8643, 61 av. Pdt Wilson, 94235 Ca han Cedex, FRANCE Abstra t PA is the pro ess algebra allowing non-dete...
متن کاملPure Data as a feminist tool for meaningful learning
I would like to re e t upon the ways Pure Data software an improve and reate ontexts for meaningful learning. Following the work of Paulo Freire, latin ameri an edu ator from the sixties, I will highlight the relevan e of reating edu ative environments that be ome embedded with the pra ti es that people develop and refuse o ial one ognitive style instru tional models. Paulo Freire (1974) indi a...
متن کاملSynthesizing Distributed Systems
In system synthesis, we transform a spe i ation into a system that is guaranteed to satisfy the spe i ation. When the system is distributed, the goal is to onstru t the system's underlying pro esses. Results on multi-player games imply that the synthesis problem for linear spe i ations is unde idable for general ar hite tures, and is nonelementary de idable for hierar hi al ar hite tures, where...
متن کامل